Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.[...]